On order locally finite and closure-preserving covers
نویسندگان
چکیده
منابع مشابه
Closure properties of locally finite omega-languages
Locally finite ω-languages, defined via second order quantifications followed by a first order locally finite sentence, were introduced by Ressayre in [Res88]. They enjoy very nice properties and extend ω-languages accepted by finite automata or defined by monadic second order sentences. We study here closure properties of the family LOCω of locally finite omega languages. In particular we show...
متن کاملHigh-order finite-volume adaptive methods on locally rectangular grids
We are developing a new class of finite-volume methods on locally-refined and mapped grids, which are at least fourth-order accurate in regions where the solution is smooth. This paper discusses the implementation of such methods for time-dependent problems on both Cartesian and mapped grids with adaptive mesh refinement. We show 2D results with the Berger–Colella shock-ramp problem in Cartesia...
متن کاملHigh-Order Finite-Volume Methods on Locally-Structured Grids
For many problems in astrophysics and space sciences, it is desirable to compute solutions in a way that preserves spherical symmetry, so that the dynamics of small perturbations about the spherically symmetric case are not overwhelmed by numerical error. Traditionally, such calculations have been done by discretizing the equations expressed in spherical coordinates. This approach has significa...
متن کاملShift Invariant Spaces and Shift Preserving Operators on Locally Compact Abelian Groups
We investigate shift invariant subspaces of $L^2(G)$, where $G$ is a locally compact abelian group. We show that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame. For a second countable locally compact abelian group $G$ we prove a useful Hilbert space isomorphism, introduce range funct...
متن کاملLocally Divergence-preserving Upwind Finite Volume Schemes for Magnetohydrodynamic Equations
A main issue in nonstationary, compressible magnetohydrodynamic (MHD) simulations is controlling the divergence of the magnetic flux. This paper presents a general procedure showing how to modify the intercell fluxes in a conservative MHD finite volume code such that the scheme becomes locally divergence preserving. That is, a certain discrete divergence operator vanishes exactly during the ent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1980
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-109-3-211-216